Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata
نویسندگان
چکیده
When we assume that the input–set of an automaton without output is a semihypergroup instead of a monoid, we talk about quasi–multiautomata. Even though cartesian composition of quasi–automata is a commonly used concept, the cartesian composition of quasi–multiautomata has not been successfully constructed yet. In our paper we show that the straightforward transfer of the definition into the multivariate context fails. We suggest two possible solutions of this problem.
منابع مشابه
ضربکننده و ضربجمعکننده پیمانه 2n+1 برای پردازنده سیگنال دیجیتال
Nowadays, digital signal processors (DSPs) are appropriate choices for real-time image and video processing in embedded multimedia applications not only due to their superior signal processing performance, but also of the high levels of integration and very low-power consumption. Filtering which consists of multiple addition and multiplication operations, is one of the most fundamental operatio...
متن کاملFailure to respond as a problem in generalizing the results of research projects
This article has no abstract.
متن کاملSome new families of definite polynomials and the composition conjectures
The planar polynomial vector fields with a center at the origin can be written as an scalar differential equation, for example Abel equation. If the coefficients of an Abel equation satisfy the composition condition, then the Abel equation has a center at the origin. Also the composition condition is sufficient for vanishing the first order moments of the coefficients. The composition conjectur...
متن کاملA full NT-step O(n) infeasible interior-point method for Cartesian P_*(k) –HLCP over symmetric cones using exponential convexity
In this paper, by using the exponential convexity property of a barrier function, we propose an infeasible interior-point method for Cartesian P_*(k) horizontal linear complementarity problem over symmetric cones. The method uses Nesterov and Todd full steps, and we prove that the proposed algorithm is well define. The iteration bound coincides with the currently best iteration bound for the Ca...
متن کاملQuasi-Static Numerical Simulation of Missile Staging
In this study, the missile staging process by implementing a side-injected jet is simulated numerically. The problem is considered to be axisymmetric and the thin shear layer approximation of Navier-Stokes equations along with an algebraic turbulence model is used in a quasi-static form for the calculations. The free stream corresponds to a very high altitude flight condition with a Mach number...
متن کامل